- dynamic self-verification
- Техника: динамический самоконтроль
Универсальный англо-русский словарь. Академик.ру. 2011.
dynamic self-verification
Смотреть что такое "dynamic self-verification" в других словарях:
Device driver synthesis and verification — The device driver is a program which allows the software or higher level computer programs to interact with a hardware device. These software components act as a link between the devices and the operating systems, communicating with each of these … Wikipedia
European Charter of Local Self-Government — The European Charter of Local Self Government was adopted under the auspices of the Congress of the Council of Europe (not to be confused with the Council of the European Union) and was opened for signature by the Council of Europe s member… … Wikipedia
List of social psychologists — The following is a list of academicians, both past and present, who are widely renowned for their groundbreaking contributions to the field of social psychology.A* Robert P. Abelson * Lauren Alloy * Floyd Allport * Gordon Allport * Irwin Altman * … Wikipedia
Virtual world — A virtual world is an online community that takes the form of a computer based simulated environment through which users can interact with one another and use and create objects.[1] The term has become largely synonymous with interactive 3D… … Wikipedia
Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; … Universalium
Agent-based model — An agent based model (ABM) (also sometimes related to the term multi agent system or multi agent simulation) is a class of computational models for simulating the actions and interactions of autonomous agents (both individual or collective… … Wikipedia
international relations — a branch of political science dealing with the relations between nations. [1970 75] * * * Study of the relations of states with each other and with international organizations and certain subnational entities (e.g., bureaucracies and political… … Universalium
japan — japanner, n. /jeuh pan /, n., adj., v., japanned, japanning. n. 1. any of various hard, durable, black varnishes, originally from Japan, for coating wood, metal, or other surfaces. 2. work varnished and figured in the Japanese manner. 3. Japans,… … Universalium
Japan — /jeuh pan /, n. 1. a constitutional monarchy on a chain of islands off the E coast of Asia: main islands, Hokkaido, Honshu, Kyushu, and Shikoku. 125,716,637; 141,529 sq. mi. (366,560 sq. km). Cap.: Tokyo. Japanese, Nihon, Nippon. 2. Sea of, the… … Universalium
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia
List of terms relating to algorithms and data structures — The [http://www.nist.gov/dads/ NIST Dictionary of Algorithms and Data Structures] is a reference work maintained by the U.S. National Institute of Standards and Technology. It defines a large number of terms relating to algorithms and data… … Wikipedia
